A Decision Procedurefor a Class of Set Constraints
نویسنده
چکیده
A set constraint is of the form exp1 exp2 where exp1 and exp2 are set expressions constructed using variables, function symbols, projection symbols, and the set union, intersection and complement symbols. While the satis ability problem for such constraints is open, restricted classes have been useful in program analysis. The main result herein is a decision procedure for de nite set constraints which are of the restricted form a exp where a contains only constants, variables and function symbols, and exp is a positive set expression (that is, it does not contain the complement symbol). A conjunction of such constraints, whenever satis able, has a least model and the algorithm will output an explicit representation of this model. 1
منابع مشابه
A New Fast Tableau - Based Decision Procedurefor an Unquanti ed Fragment of Set Theory ?
In this paper we present a new fast tableau-based decision procedure for the ground set-theoretic fragment Multi-Level Syllogistic with Singleton (in short MLSS) which avoids the interleaving of model checking steps. The underlying tableau calculus is based upon the system KE.
متن کاملA Defined Benefit Pension Fund ALM Model through Multistage Stochastic Programming
We consider an asset-liability management (ALM) problem for a defined benefit pension fund (PF). The PF manager is assumed to follow a maximal fund valuation problem facing an extended set of risk factors: due to the longevity of the PF members, the inflation affecting salaries in real terms and future incomes, interest rates and market factors affecting jointly the PF liability and asset p...
متن کاملA fuzzy multi-objective model for a project management problem
In this research, the multi-objective project management decision problem with fuzzy goals and fuzzy constraints are considered. We constitute α-cut approach and two various fuzzy goal programming solution methods for solving the Multi-Objective Project Management (MOPM) decision problem under fuzzy environments. The Interactive fuzzy multi-objective linear programming (i-FMOLP) and Weighted Ad...
متن کاملA New Method for Solving the Fully Interval Bilevel Linear Programming Problem with Equal Constraints
Most research on bilevel linear programming problem is focused on its deterministic form, in which the coefficients and decision variables in the objective functions and constraints are assumed to be crisp. In fact, due to inaccurate information, it is difficult to know exactly values of coefficients that used to construct a bilevel model. The interval set theory is suitable for describing and...
متن کامل“Wood Already Touched by Fire is not Hard to Set Alight”; Comment on “Constraints to Applying Systems Thinking Concepts in Health Systems: A Regional Perspective from Surveying Stakeholders in Eastern Mediterranean Countries”
A major constraint to the application of any form of knowledge and principles is the awareness, understanding and acceptance of the knowledge and principles. Systems Thinking (ST) is a way of understanding and thinking about the nature of health systems and how to make and implement decisions within health systems to maximize desired and minimize undesired effects. A major constraint to applyi...
متن کامل